more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 13668

[filed under theme 5. Theory of Logic / A. Overview of Logic / 2. History of Logic ]

Full Idea

Bernays (1918) formulated and proved the completeness of propositional logic, the first precise solution as part of the Hilbert programme.

Gist of Idea

Bernays (1918) formulated and proved the completeness of propositional logic

Source

Stewart Shapiro (Foundations without Foundationalism [1991], 7.2.1)

Book Ref

Shapiro,Stewart: 'Foundations without Foundationalism' [OUP 1991], p.180